indices (
  (i = 1 -- 2)
)

cevidence (
  (x_1 = 5)
  (x_2 = 6)
)

bevidence (
)

query (d)
